theorem proving program 意味

• 定理証明｛ていり しょうめい｝プログラム
  

• theorem     theorem n. 〔数学 論理学〕 定理; 原理. 【動詞＋】 formulate a theorem 定理を公式化する
• proving     proving 判明 はんめい
• program     １program, 《英》 programme n. 番組, プログラム; 課程, 予定, 計画; 〔電算〕 プログラム. 【動詞＋】 We
• theorem proving     定理証明｛ていり しょうめい｝
• theorem proving    定理証明｛ていり しょうめい｝
• geometry theorem-proving machine    geometry theorem-proving machine 幾何学定理証明機械[電情]
• mechanical theorem proving    mechanical theorem proving 機械定理証明[電情]
• theorem proving method    定理証明法｛ていり しょうめい ほう｝
• proving    proving 判明 はんめい
• theorem     theorem n. 〔数学 論理学〕 定理; 原理. 【動詞＋】 formulate a theorem 定理を公式化する attempt to prove a theorem 定理を証明しようとする test a theorem 定理を調べる work out a theorem 定理を解く. 【＋動詞】 The theo
• method for proving    証明方法｛しょうめい ほうほう｝
• primality proving    《数学》素数性｛そすう せい｝の証明｛しょうめい｝、（確定的｛かくていてき｝）素数判定｛そすう はんてい｝
• proving cash    現金照合｛げんきん しょうごう｝
• proving ground    proving ground 実験場 じっけんじょう
• proving property    性質証明｛せいしつ しょうめい｝